Dependent types I › Universes, or types of types
jonmsterling.com·2h·
Discuss: Hacker News
⚙️systems theory
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🦀Rust programming language
Implementing Forth in Go and C
eli.thegreenplace.net·5h·
Discuss: Hacker News
🧮Computer science
Paradigms of Intelligence Team
github.com·19h·
Discuss: Hacker News
🧠Meta-creativity
Double Maths First Thing: Issue 33
aperiodical.com·1h
🧠Meta-creativity
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
🧮Computer science
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·18h·
Discuss: Lobsters, Hacker News, r/programming
🌐Distributed systems
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·14h·
Discuss: Hacker News
🧮Computer science
Two Dogmas of Empiricism
en.wikipedia.org·1d·
Discuss: Hacker News
⚙️systems theory
Do I not like Ruby anymore? (2024)
sgt.hootr.club·1d·
Discuss: Hacker News, r/programming
🦀Rust programming language
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.org·9h·
Discuss: Hacker News
🧮Computer science
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Computer science
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🦀Rust programming language
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🛠️Creative Coding Frameworks
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust programming language
When functions dissolve
rubber-duck-typing.com·2d·
Discuss: Hacker News
🌐Distributed systems
Reloading classes in python and shared borders
andrewpwheeler.com·22h·
Discuss: Hacker News
🧮Computer science
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·1d
🧮Computer science
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·2d·
Discuss: Hacker News
🧮Computer science
Sapir-Whorf does not apply to Programming Languages
buttondown.com·5d·
Discuss: Hacker News
🧮Computer science